% 
% @(#)Signature.m	1.2  6/29/87
%
export _SignatureObject to "Builtins"

const _SignatureObject == 
  immutable object _signatureObject
    export getSignature, create
    const PAT == immutable type PAT
      function getSignature -> [Signature]
    end PAT
    function getSignature -> [result : Signature]
      result <- PAT
    end getSignature
    operation create -> [r : PAT]
      r <- immutable object aSignature
	export getSignature
	function getSignature -> [ r : Signature ]
	  r <- self
	end getSignature
      end aSignature
    end create
  end _signatureObject
